
function taso_abstract.class.Dans(T : tas'Class; X : objet) return boolean is
   function dedans (i : Natural) return boolean is
   begin
      if i > taso_abstract.Taille(T => T) then
         return false;
      else
         if taso_abstract.Ieme(T,i) <= X AND X<= taso_abstract.Ieme(T,i) then
            return true;
         else
            return dedans(i+1);
         end if;
      end if;
   end dedans;

begin
   return dedans(1);
end taso_abstract.class.Dans;
